Method for automatically obtaining an operational sequence of processes and a corresponding tool therefor

ABSTRACT

In order to automatically calculate an operational sequence of processes that determine an output value from at least one input value, a multitude of processes (P 1 -P 8 ), whose inputs are provided with at least one of the attributes: input value of the same calculation cycle (PRE), input value of the preceding calculation cycle (POST), input value from any calculation cycle (ANY), are arranged in such a manner that a process, which does not have any input with the attribute input value of the same calculation cycle (PRE), is determined as the first process of a calculation cycle and, in successive analogous steps, determines a quantity of possible sequences.

CROSS REFERENCE TO RELATED APPLICATION

[0001] This application is a continuation of copending International Application No. PCT/DE01/02612 filed Jul. 12, 2001, which designates the United States.

BACKGROUND OF THE INVENTION

[0002] The invention relates to a method for automatically obtaining an operational sequence of processes, a method for checking a sequence of processes to be worked through to ascertain inconsistencies in the data flow and a tool for arranging or testing a sequence of processes to be worked through, in particular a sequence of calculation functions of operating system software, for example operating system software of an electronic controller for a motor vehicle.

[0003] The publication “Kürzere Entwicklungszeiten mit automatischer Codegenerierung” [shorter development times with automatic code generation] in Automotive Engineering Partners 5/99, Vieweg GmbH, Verlag Friedrich & Sohn Verlagsgesellschaft mbH of the GWV Fachverlagen GmbH, discloses a tool for automatic code generation for operating system software of motor vehicle controllers and also a testing tool for checking the functions of a controller. The tool for automatic code generation automatically translates the technical presettings of development engineers, which are in the form of a physical description of an automatic control system, into the code that can be read by a controller of a motor vehicle. The testing tool addresses the controller via an interface and generates physically correct signals which would be generated in the actual operation of a motor vehicle. Therefore, the system behavior of the controller, and more precisely its operating system software, can be investigated at an early stage in the laboratory in a simulation of the closed control loop.

[0004] However, the tool is not able to determine independently the sequence of processes of an automatic control system, but mainly serves only for translating manual presettings into software code. Furthermore, it is often desirable to take over already tested sequences of processes or individual processes from existing libraries for a new development and to insert new processes at a suitable point of the existing sequence or to link up in an executable sequence known, tested processes with processes to be newly devised.

SUMMARY OF THE INVENTION

[0005] It is an aim of the invention to provide a method for automatically calculating an operational sequence of processes, a method for checking a sequence of processes to be worked through and a tool which is able to order a multitude of processes in such a way that all the processes can be purposefully worked through in a way which satisfies the desired data flow.

[0006] This aim can be achieved by a method for automatically obtaining an operational sequence of processes that determine an output value from at least one input value, with the following steps:

[0007] a multitude of processes whose inputs are provided with at least one of the attributes

[0008] “input value of the same calculation cycle”,

[0009] “input value of the preceding calculation cycle”,

[0010] “input value from any calculation cycle” are arranged in such a way that a process which has no input with the attribute “input value of the same calculation cycle” is determined as the first process of a calculation cycle,

[0011] the found sequence of the processes is output.

[0012] The individual processes can be set in relation to one another in such a way that, to a process whose input is provided with the attribute “input value of the same calculation cycle”, a reference can be set from the process which supplies the input value, and from a process whose input is provided with the attribute “input value of the preceding calculation cycle”, a reference can be set to the process which supplies the input value. For the calculation of the sequence of the processes, in a first step those processes to which no reference is set can be removed and assigned to a first group of processes. The processes remaining can be respectively investigated in further steps to ascertain processes to which no reference is set, and wherein the processes found in each step are respectively removed from the set of processes to be investigated and assigned to successive groups of processes. From a set of solutions with calculated valid sequences, that sequence with which the calculation of an output value and its use as an input value respectively follow one another most closely in time can be selected. A process which has no input with the attribute “input value of the preceding calculation cycle” can be selected as the last process of a calculation cycle.

[0013] Another method is a method for checking a sequence of processes to be worked through to ascertain loops in the data flow, with the following steps:

[0014] a multitude of processes whose inputs are provided with at least one of the attributes

[0015] “input value of the same calculation cycle”,

[0016] “input value of the preceding calculation cycle”,

[0017] “input value from any calculation cycle” are arranged in such a way that in a first step a process which has no input with the attribute “input value of the same calculation cycle” is determined as the first process,

[0018] the first process is assigned to a first group of processes and removed from the set of processes to be investigated,

[0019] the processes remaining are respectively investigated in further steps to ascertain processes to which no reference is set,

[0020] the processes found in each step are respectively removed from the set of processes to be investigated and assigned to successive groups, until no process which has no input with the attribute “input value of the same calculation cycle” can be identified in a step,

[0021] the processes remaining are identified and output.

[0022] An embodiment according to the present invention can be a tool for arranging or testing a sequence of processes to be worked through, which comprises:

[0023] input means for the input of a multitude of processes whose inputs are respectively provided with at least one of the attributes

[0024] “input value of the same calculation cycle”,

[0025] “input value of the preceding calculation cycle”,

[0026] “input value from any calculation cycle”,

[0027] at least one microprocessor for calculating an executable sequence of processes by a method according to one of the preceding method claims,

[0028] an output means for outputting the sequence found.

[0029] By the assignment of one of the attributes “input value of the same calculation cycle”, “input value of the preceding calculation cycle” or “input value of any calculation cycle” to each data input of the processes to be ordered, it is possible to create by machine an operational, valid sequence which has no inconsistencies in the data flow. An inconsistency means that the attributes assigned to the inputs of the processes cannot be logically fulfilled, since they are mutually exclusive. For example, the inputs of two processes which mutually depend on each other cannot be respectively provided with the attribute “PRE”, since otherwise the contradictory condition that each of the two processes has to be calculated before the other process would have to be fulfilled. However, generally there are a multitude of “executable” sequences.

[0030] It is possible to determine from the set of executable sequences of processes the one which has the lowest run time or the one which makes the processes whose output values are used as input values in the successive processes follow one another most closely (optimization).

[0031] Furthermore, processes which have no dependencies on one another can be identified within a calculation cycle. Such processes that are independent of one another can be worked through in parallel in arithmetic and logic units with multitasking operating systems, in particular in multiprocessor systems.

[0032] An inconsistency in a sequence of processes can be determined, for example, in the following way:

[0033] 1st step: determination of a process which has no input with the attribute “input value of the same calculation cycle” (in relation to the current set of processes).

[0034] 2nd step: removal of this process from the set of processes.

[0035] 3rd step: repetition of steps 1 and 2 with respect to the remaining set of processes.

[0036] If the set of processes cannot be reduced by the above operation until no process remains, an inconsistency has been found.

[0037] It is therefore possible to confirm the sequence of processes as executable without having to test them in an actual system with a complex simulation of the entire system behavior.

[0038] The present invention can be used for example for designing operating system software for computers, complex application programs, sequence control systems for industrial production and, in particular, for determining control actions for controllers in automotive engineering, for example engine and transmission controllers.

BRIEF DESCRIPTION OF THE DRAWINGS

[0039] Further features, advantages and application possibilities of the invention emerge from the following description of exemplary embodiments in conjunction with the drawings, in which:

[0040]FIG. 1 shows a tool for arranging or testing,

[0041]FIG. 2 shows the interlinking of processes within a task,

[0042]FIG. 3 shows the processes of a torque control of an engine control system

[0043]FIG. 4 shows the representation of the interlinking of the processes from FIG. 3 in the form of a graph,

[0044]FIGS. 5-8 show the resolution of the graph from FIG. 4

[0045]FIG. 9 shows the assignment of the processes of FIG. 3 to process groups sequentially following one another and

[0046]FIGS. 10-13 show the checking of a sequence of processes which have an inconsistency.

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS

[0047]FIG. 1 shows a tool for arranging and/or testing a sequence of processes to be worked through. Said tool has an arithmetic and logic unit 1 with a microprocessor MP and a main memory RAM. Provided with the arithmetic and logic unit 1 as input means are a drive 2 for a storage medium 21, which takes the form of a writable CD (compact disc), and a keyboard 3.

[0048] Stored on the storage medium 21 are sequences of processes for the execution of tasks of operating system software or application software and individual processes. This is consequently a library with already existing processes which can be used for creating new programs.

[0049] With the keyboard 3, processes can likewise be entered into the arithmetic and logic unit 1.

[0050] Serving to present calculation results of the arithmetic and logic unit 1 is an output means, which takes the form of a display device 4.

[0051]FIG. 2 illustrates the processes P1-P3 of a calculating cycle n which are linked to one another and work through a task of an operating system of an arithmetic and logic unit or of an application program. The processes P1-P3 are processes which are worked through with regular recurrence. The process P4 is an asynchronous process, which is called up when specific events occur, supplies data for processes within the calculating cycle but does not belong to the calculating cycle being considered.

[0052] A task is an ordered sequence of processes which is called up by the operating system or a program. The call may take place cyclically at regular intervals or asynchronously on the basis of specific events. A process is a group of instructions which perform a specific task as a unit. Processes consume input data and generate output data. A process is a unit of instructions which can be interrupted by interrupts, but apart from this is worked through as a unit. On account of the dependence of the data generated on the data consumed, the sequence of processes is decisive for the calculation result.

[0053] The sequence of processes P1-P3 is implicitly defined by the use of additional attributes for the type of an input or input port I. The attribute or attributes of an input I defines or define the relative sequence of a process in relation to the other processes of the same calculation cycle n. There are three different types of input ports:

[0054] input value of the same calculation cycle: PRE,

[0055] input value of the preceding calculation cycle: POST,

[0056] input value from any calculation cycle: ANY.

[0057] The types of inputs or input ports are often referred to below by the designations PRE, POST and ANY.

[0058] An input I of the type PRE requires an input value which is already made available within the same calculation cycle, that is to say has been previously generated. The process whose output or input port 0 supplies the value for the input I provided with the attribute PRE must consequently have been calculated previously in the sequence.

[0059] Process P3 has an input I of the type PRE. This input I consumes a value which is made available by the output 0 of the process P2. The tool for arranging or testing a sequence of processes therefore detects that process P2 must be arranged in the sequence before process P3.

[0060] In the case of an input I of the type POST, the value provided must not be generated until later in the sequence, so that, when working through the calculation cycle n, the old input value, calculated in the preceding calculation cycle n−1, is made available (this corresponds to a z−1 element in automatic control engineering). The tool for arranging or testing will therefore arrange process P3, the output value of which is required by an input I of the type POST of the process P1, after process P1 in the same calculation cycle n.

[0061] In the case of an input of the type ANY, it is immaterial whether the value consumed was calculated in the same calculation cycle n or in the preceding calculation cycle n−1. The occupation of input I with the attribute ANY is therefore merely optional. Frequently, an input of the type ANY obtains its input value from outside the task. In FIG. 2, the process P4 is such an external process. Input ports which obtain their data from external processes always have the attribute ANY.

[0062] On account of the allocated attributes for the inputs I of the processes P1-P3, inequalities can be set up. In this way, a relationship is respectively established between a process whose output port 0 provides a value and a process whose input port I consumes this provided value.

[0063] If a process supplies an input value for an input I of the type PRE, this process is set to be less than the process with this input of the type PRE. The process which is set as “less” in a relation must be executed before the other process of the relation. If, on the other hand, the input I is of the type POST, the process which supplies the input value is set greater than the process with this input of the type POST. If the input is of the type ANY, the process supplying the input value can be set greater or less than the process receiving the input value. The input of the type ANY can finally be served by a process arranged in the same or following calculation cycle. The arrangement of the two processes in relation to each other is consequently arbitrary. This results in as many inequalities as there are inputs with the attribute PRE or POST in the calculation cycle.

[0064] For this example, the following inequalities are therefore obtained:

[0065] P3>P1 or P1<P3, and

[0066] P1<P3

[0067] Only a process which has no input of the type PRE comes into consideration as the first process of a calculation sequence. Only a process which has no input of the type POST comes into consideration as the last process of a sequence.

[0068] After that, the processes P1 and P2 come into consideration as first processes of the sequence. Process P3 must not be calculated until after the processes P1 and P2. The processes P1 and P2 can be worked through in any sequence or in parallel.

[0069]FIG. 3 shows for purposes of illustration a simplified task with a calculation sequence of processes P1-P8 of a torque control of an operating system of an engine controller of a motor vehicle. Such a task typically has, however, a sequence of 100 to 200 processes.

[0070] The processes are partly taken from a library. Some processes have been newly designed for the torque control. The graphic of FIG. 3 is available to a developer who wishes to find a valid sequence of processes, but does not yet determine a process sequence.

[0071] Process P1 calculates for a user setting of a speed control system (Tempomat [cruise control]) the difference between the actual speed and the speed set by a driver and outputs this difference to process P3. Process P2 calculates a power requirement indicated by a gas pedal position and likewise outputs this to process P3. Process P3 coordinates any existing requirements of the processes P1 and P2 and calculates for this a torque requirement for the processes P4 and P6.

[0072] Process P4 determines a slow change in torque and outputs a corresponding requirement to process P5. Process P5 calculates a setpoint value for a throttle valve position and outputs this to a final control element.

[0073] Process P6 calculates a rapid change in torque and outputs a corresponding requirement to process P7, which determines a setpoint value for an ignition point and outputs it to the ignition.

[0074] Process P8 contains a reference system for the effectiveness of the change in torque through a shift of the ignition point. The processes P4 and P6 decide on the basis of their coupling and the effectiveness how the build-up of a specific torque must be distributed between the two possible manipulated variables, throttle valve and ignition angle.

[0075] The task is completely calculated cyclically, for example every 10 ms. All input values of the processes P3 to P8, with the exception of the input values or inputs identified by “eff”, must have been calculated previously in the same calculation cycle. They consequently must obtain the attribute “input value of the same calculation cycle” PRE. The input values denoted by “eff” must have been calculated in the preceding calculation cycle, that is to say when the task was previously executed. Accordingly, these input values or the corresponding inputs obtain the attribute “input value of the preceding calculation cycle” POST.

[0076] For each input of the processes P1-P8 it can consequently be specified whether a value currently calculated in the same calculation cycle or a value determined in the preceding calculation cycle when the task was previously worked through must be used. The latter corresponds to a z−1 element from automatic control engineering. The input values of the processes P1 and P2 are not defined. They may consequently obtain the attribute “input value from any calculation cycle” ANY.

[0077] On the basis of these premises, the following relations are obtained for the processes P1-P8:

[0078] P1<P3

[0079] P2<P3

[0080] P3<P4

[0081] P3<P6

[0082] P4<P5

[0083] P6<P4

[0084] P4<P8

[0085] P6<P7

[0086] P6<P8

[0087] P7<P8

[0088] Only processes which do not require any input value calculated in the same calculation cycle come into consideration as first processes of the sequence. The first process consequently must not have any input occupied with the attribute PRE. The last process of the sequence must not have any input occupied by the attribute POST. All the calculation sequences which satisfy these conditions and the inequalities set up are valid or executable sequences.

[0089] The system of inequalities can be resolved in a computer-aided manner, for example by application of the graph theory. A graph is set up by using the processes as nodes and each inequality as a directed edge of the graph. A directed edge is a reference from one process to another process. The directed edge is respectively directed from the process or node which was determined as less in the corresponding inequality to the process or node which was determined as greater in the same inequality.

[0090] Expressed in different terms, to a process whose input is provided with the attribute PRE, a reference is respectively set from the process which supplies the input value. From a process whose input value is provided with the attribute POST, a reference is set to the process which supplies the input value.

[0091] The conversion of the inequalities presented above into a graph is represented in FIG. 4. In a first processing step or a first iteration, all the nodes (processes) are removed from the set of nodes (processes) to be checked, including the associated references E (edges) to which no references E (edges) of the graph point. This applies to the processes P1 and P2 which have no input with the attribute PRE. These processes are assigned to a first group of processes of the calculation cycle.

[0092] The processes within a group of processes can be worked through in any sequence or in parallel.

[0093] Working through the algorithm recursively has the effect of respectively forming a new group of processes, which must be worked through in execution of the program after the preceding group of processes. Consequently, the processes remaining after each step are respectively investigated in further successive steps to ascertain processes to which no reference E is set. The processes found in each step are removed and assigned to successive groups of processes. These groups may comprise one or more processes. The sequence of the processes within a group is arbitrary, since these processes are independent from one another. However, all the processes of a group must be worked through before a process of the next group is executed.

[0094] In FIG. 5, the graph reduced by the processes P1 and P2 is shown. Even in this subgraph, at least one node (process) to which no edge points must exist. All the nodes to which no edge points must in turn be removed. If no node (process) which fulfils this condition exists, an unresolvable loop, and consequently an inconsistency in the data flow, has been discovered.

[0095] In a second step, the process P3 is consequently removed and assigned to a second group of processes.

[0096] The result is represented in FIG. 6.

[0097] In a third step, process 6, to which no edge points, is then removed.

[0098] The resultant remaining graph is represented in FIG. 7. Process 6 is assigned to a third group of processes.

[0099] In a fourth step, the processes P4 and P7 are removed and assigned to a fourth group of processes.

[0100] Consequently, all that remains are the processes P5 and P8, which are represented in FIG. 8. No edge points to these remaining processes, so that both processes are assigned to a fifth and final group of processes.

[0101] In the sequence of the steps or the groups of processes, the sequence in which the processes have to be worked through has been found. The processes isolated in one step must be executed before the processes which have been isolated in the next step.

[0102] The assignment of the individual processes P1-P8 to groups of processes G1-G5 is illustrated in FIG. 9.

[0103] Since there may be more than one process present in each case in the groups, a multitude of different, executable sequences can be formed. From this multitude of valid sequences, the one which takes up the shortest run time or the one with which the calculation of an output value and its use as an input value respectively follow one another most closely in time (optimization) may be determined for example.

[0104]FIG. 10 shows a graph which contains an unresolvable loop. The graph does not represent the torque control from FIG. 3.

[0105] According to the calculation steps presented above, it was attempted to divide up the graph into individual groups of processes with the tool for arranging or testing. The result of the processing steps 1 to 3 is represented in FIGS. 11 to 13.

[0106] In FIG. 13, which represents the result of the third step, finally, it was not possible to find a process or node to which no edge of the graph points. Consequently, there is no process which has no input with the attribute PRE. The remaining processes consequently cannot be assigned to any group. There is a loop which must be resolved in order to obtain an executable task. The remaining processes are output onto a display device or a printer. 

1. A method for automatically obtaining an operational sequence of processes that determine an output value from at least one input value, with the following steps: a multitude of processes whose inputs are provided with at least one of the attributes “input value of the same calculation cycle”, “input value of the preceding calculation cycle”, “input value from any calculation cycle” are arranged in such a way that a process which has no input with the attribute “input value of the same calculation cycle” is determined as the first process of a calculation cycle, the found sequence of the processes is output.
 2. The method as claimed in claim 1, wherein the individual processes are set in relation to one another in such a way that, to a process whose input is provided with the attribute “input value of the same calculation cycle”, a reference is set from the process which supplies the input value, and wherein, from a process whose input is provided with the attribute “input value of the preceding calculation cycle”, a reference is set to the process which supplies the input value.
 3. The method as claimed in claim 1, wherein, for the calculation of the sequence of the processes, in a first step those processes to which no reference is set are removed and assigned to a first group of processes.
 4. The method as claimed in claim 1, wherein the processes remaining are respectively investigated in further steps to ascertain processes to which no reference is set, and wherein the processes found in each step are respectively removed from the set of processes to be investigated and assigned to successive groups of processes.
 5. The method as claimed in claim 1, wherein, from a set of solutions with calculated valid sequences, that sequence with which the calculation of an output value and its use as an input value respectively follow one another most closely in time is selected.
 6. The method as claimed in claim 1, wherein a process which has no input with the attribute “input value of the preceding calculation cycle” is selected as the last process of a calculation cycle.
 7. A method for checking a sequence of processes to be worked through to ascertain loops in the data flow, with the following steps: a multitude of processes whose inputs are provided with at least one of the attributes “input value of the same calculation cycle”, “input value of the preceding calculation cycle”, “input value from any calculation cycle” are arranged in such a way that in a first step a process which has no input with the attribute “input value of the same calculation cycle” is determined as the first process, the first process is assigned to a first group of processes and removed from the set of processes to be investigated, the processes remaining are respectively investigated in further steps to ascertain processes to which no reference is set, the processes found in each step are respectively removed from the set of processes to be investigated and assigned to successive groups, until no process which has no input with the attribute “input value of the same calculation cycle” can be identified in a step, the processes remaining are identified and output.
 8. A tool for arranging or testing a sequence of processes to be worked through, which has: input means for the input of a multitude of processes whose inputs are respectively provided with at least one of the attributes “input value of the same calculation cycle”, “input value of the preceding calculation cycle”, “input value from any calculation cycle”, at least one microprocessor for calculating an executable sequence of processes by a method according to one of the preceding method claims, an output means for outputting the sequence found. 